ソフトウェアのテスト技法⑦ 静的解析技術(1) - 共立出版コンピュータサイエンス誌『bit』